- задача на доказательство
- problema di dimostrazione
Dictionnaire technique russo-italien. 2013.
задача на доказательство
Смотреть что такое "задача на доказательство" в других словарях:
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
Задача о разорении игрока — Задача о разорении игрока задача из области теории вероятностей. Подробно рассматривалась российским математиком А. Н. Ширяевым в монографии «Вероятность»[1] … Википедия
Задача о клике — относится к классу NP полных задач в области теории графов. Впервые она была сформулирована в 1972 году Ричардом Карпом.[1] … Википедия
Задача трех тел — Задача трёх тел (в астрономии) частная задача небесной механики, состоящая в определении относительного движения трёх тел (материальных точек), взаимодействующих по закону тяготения Ньютона (например, Солнца, Земли и Луны). В общем случае не… … Википедия
Задача византийских генералов — Задача византийских генералов в вычислительной технике мысленный эксперимент, призванный проиллюстрировать проблему синхронизации состояния систем в случае, когда коммуникации считаются надёжными, а процессоры нет. Содержание 1… … Википедия
Задача двух генералов — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
Задача о пяти красках — Проблема четырёх красок Проблема четырёх красок математическая задача, предложенная Гутри (англ.) в 1852 году. Выяснить, можно ли всякую расположенную на сфере карту раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок … Википедия
Задача о четырех красках — Проблема четырёх красок Проблема четырёх красок математическая задача, предложенная Гутри (англ.) в 1852 году. Выяснить, можно ли всякую расположенную на сфере карту раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок … Википедия
Задача о четырёх красках — Проблема четырёх красок Проблема четырёх красок математическая задача, предложенная Гутри (англ.) в 1852 году. Выяснить, можно ли всякую расположенную на сфере карту раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок … Википедия
Задача четырех красок — Проблема четырёх красок Проблема четырёх красок математическая задача, предложенная Гутри (англ.) в 1852 году. Выяснить, можно ли всякую расположенную на сфере карту раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок … Википедия
Задача четырёх красок — Проблема четырёх красок Проблема четырёх красок математическая задача, предложенная Гутри (англ.) в 1852 году. Выяснить, можно ли всякую расположенную на сфере карту раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок … Википедия
